Rules of inference

Computing portal

Here is a list of articles in the Rules of inference category of the Computing portal that unifies foundations of mathematics and computations using computers.

The concepts described in articles in this category may be also expressed in terms of arguments, or theorems. Very often the same concept is in more than one of these categories, expressed a different way and sometimes with a different name.